$\forall$$C$:Realizer. $C$ $\subseteq$ $C$